$\forall$$a$, $b$:$\mathbb{Z}$. ($\forall$$c$:$\mathbb{Z}$. $c$ $\mid$ $a$ $\Rightarrow$ $c$ $\mid$ $b$ $\Rightarrow$ $c$ $\mid$ 1) $\Rightarrow$ CoPrime($a$,$b$)